symbolic execution
符号执行
热门查询
- dang n. (Dang)人名；(印、德、印尼)丹格 int. 讨厌；见鬼（等于damn）
- Amdahl [计] 阿姆德尔
- Brugge <佛兰芒语>=Bruges
- kinswoman n. 女性亲戚
- trivially adv. 琐细地；平凡地；无能地
- storefront n. [贸易] 店面；店头
- phonetic adj. 语音的，语音学的；音形一致的；发音有细微区别的
- methodology n. 方法学，方法论
- naturalist n. 自然主义者；博物学者；（英）动物标本剥制者；买卖玩赏动物的商人 adj. 自然的（等于naturalistic）；自然主义的；博物学的
- humiliation n. 丢脸，耻辱；蒙羞；谦卑
- detain vt. 拘留；留住；耽搁
- idealisation 理想化
- Bessemer 酸性炼钢转炉
- boring n. 钻孔 adj. 无聊的；令人厌烦的 v. 钻孔；使厌烦；挖空（bore的ing形式） n. (Boring)人名；(英、瑞典)博林
- hired v. 雇用（hire的过去式及过去分词形式）；租用
- unsurpassed adj. 非常卓越的；未被超越的
- kilohertz n. [物] 千赫
- zealand n. 西兰岛（丹麦最大的岛）
- kingpin n. [机] 中心立轴；主要人物
- Vaughn [人名] [威尔士人、爱尔兰人姓氏] 沃恩 Vaughan的变体; [地名] [美国] 沃恩
